Optimal. Leaf size=464 \[ \frac{i^2 (e+f x)^2 (f h-e i) (a+b \log (c (e+f x)))^2}{2 d f^4}-\frac{3 b i^2 (e+f x)^2 (f h-e i) (a+b \log (c (e+f x)))}{2 d f^4}+\frac{(f h-e i)^3 (a+b \log (c (e+f x)))^3}{3 b d f^4}-\frac{2 b (f h-e i)^3 \log (e+f x) (a+b \log (c (e+f x)))}{3 d f^4}+\frac{2 i (e+f x) (f h-e i)^2 (a+b \log (c (e+f x)))^2}{d f^4}-\frac{2 b i (e+f x) (f h-e i)^2 (a+b \log (c (e+f x)))}{d f^4}-\frac{2 b i^3 (e+f x)^3 (a+b \log (c (e+f x)))}{9 d f^4}+\frac{(h+i x)^3 (a+b \log (c (e+f x)))^2}{3 d f}-\frac{4 a b i x (f h-e i)^2}{d f^3}-\frac{4 b^2 i (e+f x) (f h-e i)^2 \log (c (e+f x))}{d f^4}+\frac{3 b^2 i^2 (e+f x)^2 (f h-e i)}{4 d f^4}+\frac{6 b^2 i x (f h-e i)^2}{d f^3}+\frac{b^2 (f h-e i)^3 \log ^2(e+f x)}{3 d f^4}+\frac{2 b^2 i^3 (e+f x)^3}{27 d f^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.981334, antiderivative size = 459, normalized size of antiderivative = 0.99, number of steps used = 24, number of rules used = 15, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.469, Rules used = {2411, 12, 2346, 2302, 30, 2296, 2295, 2330, 2305, 2304, 2319, 43, 2334, 14, 2301} \[ \frac{i^2 (e+f x)^2 (f h-e i) (a+b \log (c (e+f x)))^2}{2 d f^4}-\frac{b i^2 (e+f x)^2 (f h-e i) (a+b \log (c (e+f x)))}{2 d f^4}-\frac{b \left (\frac{9 i^2 (e+f x)^2 (f h-e i)}{f^2}+\frac{18 i (e+f x) (f h-e i)^2}{f^2}+\frac{6 (f h-e i)^3 \log (e+f x)}{f^2}+\frac{2 i^3 (e+f x)^3}{f^2}\right ) (a+b \log (c (e+f x)))}{9 d f^2}+\frac{(f h-e i)^3 (a+b \log (c (e+f x)))^3}{3 b d f^4}+\frac{2 i (e+f x) (f h-e i)^2 (a+b \log (c (e+f x)))^2}{d f^4}+\frac{(h+i x)^3 (a+b \log (c (e+f x)))^2}{3 d f}-\frac{4 a b i x (f h-e i)^2}{d f^3}-\frac{4 b^2 i (e+f x) (f h-e i)^2 \log (c (e+f x))}{d f^4}+\frac{3 b^2 i^2 (e+f x)^2 (f h-e i)}{4 d f^4}+\frac{6 b^2 i x (f h-e i)^2}{d f^3}+\frac{b^2 (f h-e i)^3 \log ^2(e+f x)}{3 d f^4}+\frac{2 b^2 i^3 (e+f x)^3}{27 d f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2411
Rule 12
Rule 2346
Rule 2302
Rule 30
Rule 2296
Rule 2295
Rule 2330
Rule 2305
Rule 2304
Rule 2319
Rule 43
Rule 2334
Rule 14
Rule 2301
Rubi steps
\begin{align*} \int \frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{d e+d f x} \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right )^3 (a+b \log (c x))^2}{d x} \, dx,x,e+f x\right )}{f}\\ &=\frac{\operatorname{Subst}\left (\int \frac{\left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right )^3 (a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f}\\ &=\frac{184 \operatorname{Subst}\left (\int \left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right )^2 (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^2}-\frac{(184 e-f h) \operatorname{Subst}\left (\int \frac{\left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right )^2 (a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f^2}\\ &=\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}-\frac{(2 b) \operatorname{Subst}\left (\int \frac{\left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right )^3 (a+b \log (c x))}{x} \, dx,x,e+f x\right )}{3 d f}-\frac{(184 (184 e-f h)) \operatorname{Subst}\left (\int \left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right ) (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^3}+\frac{(184 e-f h)^2 \operatorname{Subst}\left (\int \frac{\left (\frac{-184 e+f h}{f}+\frac{184 x}{f}\right ) (a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f^3}\\ &=-\frac{2 b \left (\frac{1656 (184 e-f h)^2 (e+f x)}{f^3}-\frac{152352 (184 e-f h) (e+f x)^2}{f^3}+\frac{6229504 (e+f x)^3}{f^3}-\frac{3 (184 e-f h)^3 \log (e+f x)}{f^3}\right ) (a+b \log (c (e+f x)))}{9 d f}+\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}+\frac{\left (2 b^2\right ) \operatorname{Subst}\left (\int \frac{184 x \left (304704 e^2+9 f^2 h^2+828 f h x+33856 x^2-3312 e (f h+46 x)\right )-3 (184 e-f h)^3 \log (x)}{3 f^3 x} \, dx,x,e+f x\right )}{3 d f}-\frac{(184 (184 e-f h)) \operatorname{Subst}\left (\int \left (\frac{(-184 e+f h) (a+b \log (c x))^2}{f}+\frac{184 x (a+b \log (c x))^2}{f}\right ) \, dx,x,e+f x\right )}{d f^3}+\frac{\left (184 (184 e-f h)^2\right ) \operatorname{Subst}\left (\int (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^4}-\frac{(184 e-f h)^3 \operatorname{Subst}\left (\int \frac{(a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f^4}\\ &=-\frac{2 b \left (\frac{1656 (184 e-f h)^2 (e+f x)}{f^3}-\frac{152352 (184 e-f h) (e+f x)^2}{f^3}+\frac{6229504 (e+f x)^3}{f^3}-\frac{3 (184 e-f h)^3 \log (e+f x)}{f^3}\right ) (a+b \log (c (e+f x)))}{9 d f}+\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}+\frac{184 (184 e-f h)^2 (e+f x) (a+b \log (c (e+f x)))^2}{d f^4}+\frac{\left (2 b^2\right ) \operatorname{Subst}\left (\int \frac{184 x \left (304704 e^2+9 f^2 h^2+828 f h x+33856 x^2-3312 e (f h+46 x)\right )-3 (184 e-f h)^3 \log (x)}{x} \, dx,x,e+f x\right )}{9 d f^4}-\frac{(33856 (184 e-f h)) \operatorname{Subst}\left (\int x (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^4}+\frac{\left (184 (184 e-f h)^2\right ) \operatorname{Subst}\left (\int (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^4}-\frac{\left (368 b (184 e-f h)^2\right ) \operatorname{Subst}(\int (a+b \log (c x)) \, dx,x,e+f x)}{d f^4}-\frac{(184 e-f h)^3 \operatorname{Subst}\left (\int x^2 \, dx,x,a+b \log (c (e+f x))\right )}{b d f^4}\\ &=-\frac{368 a b (184 e-f h)^2 x}{d f^3}-\frac{2 b \left (\frac{1656 (184 e-f h)^2 (e+f x)}{f^3}-\frac{152352 (184 e-f h) (e+f x)^2}{f^3}+\frac{6229504 (e+f x)^3}{f^3}-\frac{3 (184 e-f h)^3 \log (e+f x)}{f^3}\right ) (a+b \log (c (e+f x)))}{9 d f}+\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}+\frac{368 (184 e-f h)^2 (e+f x) (a+b \log (c (e+f x)))^2}{d f^4}-\frac{16928 (184 e-f h) (e+f x)^2 (a+b \log (c (e+f x)))^2}{d f^4}-\frac{(184 e-f h)^3 (a+b \log (c (e+f x)))^3}{3 b d f^4}+\frac{\left (2 b^2\right ) \operatorname{Subst}\left (\int \left (184 \left (9 (184 e-f h)^2-828 (184 e-f h) x+33856 x^2\right )-\frac{3 (184 e-f h)^3 \log (x)}{x}\right ) \, dx,x,e+f x\right )}{9 d f^4}+\frac{(33856 b (184 e-f h)) \operatorname{Subst}(\int x (a+b \log (c x)) \, dx,x,e+f x)}{d f^4}-\frac{\left (368 b (184 e-f h)^2\right ) \operatorname{Subst}(\int (a+b \log (c x)) \, dx,x,e+f x)}{d f^4}-\frac{\left (368 b^2 (184 e-f h)^2\right ) \operatorname{Subst}(\int \log (c x) \, dx,x,e+f x)}{d f^4}\\ &=-\frac{736 a b (184 e-f h)^2 x}{d f^3}+\frac{368 b^2 (184 e-f h)^2 x}{d f^3}-\frac{8464 b^2 (184 e-f h) (e+f x)^2}{d f^4}-\frac{368 b^2 (184 e-f h)^2 (e+f x) \log (c (e+f x))}{d f^4}+\frac{16928 b (184 e-f h) (e+f x)^2 (a+b \log (c (e+f x)))}{d f^4}-\frac{2 b \left (\frac{1656 (184 e-f h)^2 (e+f x)}{f^3}-\frac{152352 (184 e-f h) (e+f x)^2}{f^3}+\frac{6229504 (e+f x)^3}{f^3}-\frac{3 (184 e-f h)^3 \log (e+f x)}{f^3}\right ) (a+b \log (c (e+f x)))}{9 d f}+\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}+\frac{368 (184 e-f h)^2 (e+f x) (a+b \log (c (e+f x)))^2}{d f^4}-\frac{16928 (184 e-f h) (e+f x)^2 (a+b \log (c (e+f x)))^2}{d f^4}-\frac{(184 e-f h)^3 (a+b \log (c (e+f x)))^3}{3 b d f^4}+\frac{\left (368 b^2\right ) \operatorname{Subst}\left (\int \left (9 (184 e-f h)^2-828 (184 e-f h) x+33856 x^2\right ) \, dx,x,e+f x\right )}{9 d f^4}-\frac{\left (368 b^2 (184 e-f h)^2\right ) \operatorname{Subst}(\int \log (c x) \, dx,x,e+f x)}{d f^4}-\frac{\left (2 b^2 (184 e-f h)^3\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,e+f x\right )}{3 d f^4}\\ &=-\frac{736 a b (184 e-f h)^2 x}{d f^3}+\frac{1104 b^2 (184 e-f h)^2 x}{d f^3}-\frac{25392 b^2 (184 e-f h) (e+f x)^2}{d f^4}+\frac{12459008 b^2 (e+f x)^3}{27 d f^4}-\frac{b^2 (184 e-f h)^3 \log ^2(e+f x)}{3 d f^4}-\frac{736 b^2 (184 e-f h)^2 (e+f x) \log (c (e+f x))}{d f^4}+\frac{16928 b (184 e-f h) (e+f x)^2 (a+b \log (c (e+f x)))}{d f^4}-\frac{2 b \left (\frac{1656 (184 e-f h)^2 (e+f x)}{f^3}-\frac{152352 (184 e-f h) (e+f x)^2}{f^3}+\frac{6229504 (e+f x)^3}{f^3}-\frac{3 (184 e-f h)^3 \log (e+f x)}{f^3}\right ) (a+b \log (c (e+f x)))}{9 d f}+\frac{(h+184 x)^3 (a+b \log (c (e+f x)))^2}{3 d f}+\frac{368 (184 e-f h)^2 (e+f x) (a+b \log (c (e+f x)))^2}{d f^4}-\frac{16928 (184 e-f h) (e+f x)^2 (a+b \log (c (e+f x)))^2}{d f^4}-\frac{(184 e-f h)^3 (a+b \log (c (e+f x)))^3}{3 b d f^4}\\ \end{align*}
Mathematica [A] time = 0.305459, size = 267, normalized size = 0.58 \[ \frac{8 b i^3 \left (b f x \left (3 e^2+3 e f x+f^2 x^2\right )-3 (e+f x)^3 (a+b \log (c (e+f x)))\right )+162 i^2 (e+f x)^2 (f h-e i) (a+b \log (c (e+f x)))^2+81 b i^2 (f h-e i) \left (b f x (2 e+f x)-2 (e+f x)^2 (a+b \log (c (e+f x)))\right )+324 i (e+f x) (f h-e i)^2 (a+b \log (c (e+f x)))^2-648 b i (f h-e i)^2 (f x (a-b)+b (e+f x) \log (c (e+f x)))+\frac{36 (f h-e i)^3 (a+b \log (c (e+f x)))^3}{b}+36 i^3 (e+f x)^3 (a+b \log (c (e+f x)))^2}{108 d f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.064, size = 1485, normalized size = 3.2 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.35131, size = 1301, normalized size = 2.8 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.80296, size = 1278, normalized size = 2.75 \begin{align*} \frac{4 \,{\left (9 \, a^{2} - 6 \, a b + 2 \, b^{2}\right )} f^{3} i^{3} x^{3} + 36 \,{\left (b^{2} f^{3} h^{3} - 3 \, b^{2} e f^{2} h^{2} i + 3 \, b^{2} e^{2} f h i^{2} - b^{2} e^{3} i^{3}\right )} \log \left (c f x + c e\right )^{3} + 3 \,{\left (27 \,{\left (2 \, a^{2} - 2 \, a b + b^{2}\right )} f^{3} h i^{2} -{\left (18 \, a^{2} - 30 \, a b + 19 \, b^{2}\right )} e f^{2} i^{3}\right )} x^{2} + 18 \,{\left (2 \, b^{2} f^{3} i^{3} x^{3} + 6 \, a b f^{3} h^{3} - 18 \,{\left (a b - b^{2}\right )} e f^{2} h^{2} i + 9 \,{\left (2 \, a b - 3 \, b^{2}\right )} e^{2} f h i^{2} -{\left (6 \, a b - 11 \, b^{2}\right )} e^{3} i^{3} + 3 \,{\left (3 \, b^{2} f^{3} h i^{2} - b^{2} e f^{2} i^{3}\right )} x^{2} + 6 \,{\left (3 \, b^{2} f^{3} h^{2} i - 3 \, b^{2} e f^{2} h i^{2} + b^{2} e^{2} f i^{3}\right )} x\right )} \log \left (c f x + c e\right )^{2} + 6 \,{\left (54 \,{\left (a^{2} - 2 \, a b + 2 \, b^{2}\right )} f^{3} h^{2} i - 27 \,{\left (2 \, a^{2} - 6 \, a b + 7 \, b^{2}\right )} e f^{2} h i^{2} +{\left (18 \, a^{2} - 66 \, a b + 85 \, b^{2}\right )} e^{2} f i^{3}\right )} x + 6 \,{\left (4 \,{\left (3 \, a b - b^{2}\right )} f^{3} i^{3} x^{3} + 18 \, a^{2} f^{3} h^{3} - 54 \,{\left (a^{2} - 2 \, a b + 2 \, b^{2}\right )} e f^{2} h^{2} i + 27 \,{\left (2 \, a^{2} - 6 \, a b + 7 \, b^{2}\right )} e^{2} f h i^{2} -{\left (18 \, a^{2} - 66 \, a b + 85 \, b^{2}\right )} e^{3} i^{3} + 3 \,{\left (9 \,{\left (2 \, a b - b^{2}\right )} f^{3} h i^{2} -{\left (6 \, a b - 5 \, b^{2}\right )} e f^{2} i^{3}\right )} x^{2} + 6 \,{\left (18 \,{\left (a b - b^{2}\right )} f^{3} h^{2} i - 9 \,{\left (2 \, a b - 3 \, b^{2}\right )} e f^{2} h i^{2} +{\left (6 \, a b - 11 \, b^{2}\right )} e^{2} f i^{3}\right )} x\right )} \log \left (c f x + c e\right )}{108 \, d f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 4.22983, size = 865, normalized size = 1.86 \begin{align*} \frac{x^{3} \left (9 a^{2} i^{3} - 6 a b i^{3} + 2 b^{2} i^{3}\right )}{27 d f} - \frac{x^{2} \left (18 a^{2} e i^{3} - 54 a^{2} f h i^{2} - 30 a b e i^{3} + 54 a b f h i^{2} + 19 b^{2} e i^{3} - 27 b^{2} f h i^{2}\right )}{36 d f^{2}} + \frac{x \left (18 a^{2} e^{2} i^{3} - 54 a^{2} e f h i^{2} + 54 a^{2} f^{2} h^{2} i - 66 a b e^{2} i^{3} + 162 a b e f h i^{2} - 108 a b f^{2} h^{2} i + 85 b^{2} e^{2} i^{3} - 189 b^{2} e f h i^{2} + 108 b^{2} f^{2} h^{2} i\right )}{18 d f^{3}} + \frac{\left (36 a b e^{2} i^{3} x - 108 a b e f h i^{2} x - 18 a b e f i^{3} x^{2} + 108 a b f^{2} h^{2} i x + 54 a b f^{2} h i^{2} x^{2} + 12 a b f^{2} i^{3} x^{3} - 66 b^{2} e^{2} i^{3} x + 162 b^{2} e f h i^{2} x + 15 b^{2} e f i^{3} x^{2} - 108 b^{2} f^{2} h^{2} i x - 27 b^{2} f^{2} h i^{2} x^{2} - 4 b^{2} f^{2} i^{3} x^{3}\right ) \log{\left (c \left (e + f x\right ) \right )}}{18 d f^{3}} + \frac{\left (- b^{2} e^{3} i^{3} + 3 b^{2} e^{2} f h i^{2} - 3 b^{2} e f^{2} h^{2} i + b^{2} f^{3} h^{3}\right ) \log{\left (c \left (e + f x\right ) \right )}^{3}}{3 d f^{4}} - \frac{\left (18 a^{2} e^{3} i^{3} - 54 a^{2} e^{2} f h i^{2} + 54 a^{2} e f^{2} h^{2} i - 18 a^{2} f^{3} h^{3} - 66 a b e^{3} i^{3} + 162 a b e^{2} f h i^{2} - 108 a b e f^{2} h^{2} i + 85 b^{2} e^{3} i^{3} - 189 b^{2} e^{2} f h i^{2} + 108 b^{2} e f^{2} h^{2} i\right ) \log{\left (e + f x \right )}}{18 d f^{4}} + \frac{\left (- 6 a b e^{3} i^{3} + 18 a b e^{2} f h i^{2} - 18 a b e f^{2} h^{2} i + 6 a b f^{3} h^{3} + 11 b^{2} e^{3} i^{3} - 27 b^{2} e^{2} f h i^{2} + 6 b^{2} e^{2} f i^{3} x + 18 b^{2} e f^{2} h^{2} i - 18 b^{2} e f^{2} h i^{2} x - 3 b^{2} e f^{2} i^{3} x^{2} + 18 b^{2} f^{3} h^{2} i x + 9 b^{2} f^{3} h i^{2} x^{2} + 2 b^{2} f^{3} i^{3} x^{3}\right ) \log{\left (c \left (e + f x\right ) \right )}^{2}}{6 d f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.18875, size = 1405, normalized size = 3.03 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]